A Type and Effect System for Determinism in Multithreaded Programs

机译：多线程程序中确定性的类型和效果系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yi Lu; John Potter; Chenyi Zhang; Jingling Xue;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Asserting and Checking Determinism for Multithreaded Programs [J] . Jacob Burnim, Koushik Sen Communications of the ACM . 2010,第6期

机译：声明和检查多线程程序的确定性
2. Achieving efficiency and portability in systems software: a case study on POSIX-compliant multithreaded programs [J] . Shinjo Y., Pu C. IEEE Transactions on Software Engineering . 2005,第9期

机译：在系统软件中实现效率和可移植性：符合POSIX的多线程程序的案例研究
3. A multithreaded programming approach for multimedia big data: encryption system [J] . Aljawarneh Shadi, Yassein Muneer Bani, Talafha Weam Adel Multimedia Tools and Applications . 2018,第9期

机译：多媒体大数据的多线程编程方法：加密系统
4. A Type and Effect System for Determinism in Multithreaded Programs [C] . Yi Lu, John Potter, Chenyi Zhang, Programming languages and systems. . 2012

机译：多线程程序中确定性的类型和效果系统
5. Towards High Performance Determinism for Multithreaded Programs [D] . Merrifield, Timothy. 2018

机译：迈向多线程程序的高性能确定性
6. selscan: An Efficient Multithreaded Program to Perform EHH-Based Scans for Positive Selection [O] . Zachary A. Szpiech, Ryan D. Hernandez -1

机译：selscan：高效的多线程程序可以执行基于EHH的扫描以进行肯定选择
7. Determinism Is Not Enough: Making Parallel Programs Reliable with Stable Multithreading [O] . Junfeng Yang, Heming Cui, Jingyue Wu, 2014

机译：确定性还不够：通过稳定的多线程使并行程序可靠

A Type and Effect System for Determinism in Multithreaded Programs

著录项

引文网络

相似文献

相关主题

期刊订阅